<?php // lint >= 7.4

1000000;
1.000000;
06666666;
